Finitary formal topologies and Stone’s representation theorem
نویسندگان
چکیده
منابع مشابه
Finitary formal topologies and Stone's representation theorem
We study the concept of finitary formal topology, a point-free version of a topological space with a basis of compact open subsets. The notion of finitary formal topology is defined from the perspective of the Basic Picture (introduced by the second author) and thus it is endowed with a binary positivity relation. As an application, we prove a constructive version of Stone’s representation theo...
متن کاملA Completeness theorem for Formal Topologies
The main mathematical result of this work is a quite simple formulation and proof of a Rasiowa-Sikorski-like theorem for countable lattices. Then the paper suggests an interpretation of this mathematical result as a completeness theorem for the formal topologies introduced by G. Sambin in order to provide a constructive approach to topology which is expressible within Martin Löf’s intuitionisti...
متن کاملTychonoff's Theorem in the Framework of Formal Topologies
In this paper we give a constructive proof of the pointfree version of Tychonoff’s theorem within formal topology, using ideas from Coquand’s proof in [7]. To deal with pointfree topology Coquand uses Johnstone’s coverages. Because of the representation theorem in [3], from a mathematical viewpoint these structures are equivalent to formal topologies but there is an essential difference also. N...
متن کاملFinitary bases and formal generating functions
Let k be a nonzero, commutative ring with 1, and let R be a k-algebra with a countably-infinite ordered free k-basis B = {pn: n~>0}. We characterize and analyze those bases from which one can construct a k-algebra of 'formal B-series' of the form f = ~ c , p , , with cn Ek, showing inter alia that many classical polynomial bases fail to have this property. @ 1998 Elsevier Science B.V. All right...
متن کاملSpatiality for formal topologies
We define what it means for a formal topology to be spatial, and investigate properties related to spatiality both in general and in examples.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2008
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2008.06.020